#ifndef _DISPLAYMANAGER_H_
#define _DISPLAYMANAGER_H_

#include <stdint.h>

void DisplayManager_Runnable_initialize(void);
void DisplayManager_Runnable(void);

int DisplayManager_desiredTemperature_receive(int32_t *desiredTemperature);
int DisplayManager_actualTemperature_receive(int32_t *actualTemperature);
int DisplayManager_power_receive(int *power);
int DisplayManager_display_getWidth();
int DisplayManager_display_getHeight();
void DisplayManager_display_getStringSize(const char *s, int *width, int *height);
void DisplayManager_display_drawString(const char *s, int x, int y);

#endif /* _DISPLAYMANAGER_H_ */
